Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
نویسندگان
چکیده
منابع مشابه
Petri-net Based Modeling for Verification of RBAC Policies
Role based access control has emerged as a promising new approach to security for advanced applications because of the several benefits it provides. However, most of the research efforts in this area has been focused towards the specification and modeling of RBAC systems. The crucial issue of verification of role based access control policies has not been adequately investigated in the literatu...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملVerification of relative correctness of Petri nets
The paper describes a new method of requirements specification for concurrent systems modeled as Petri nets. The proposed correctness problem consists of three objects: the checked Petri net, a criterion net specifying requirements and an observation function that maps transitions in the checked model into transitions of the criterion net. The partial and the total correctness are defined and t...
متن کاملModeling biological processes using Workflow and Petri Net models
Motivation: Biological processes can be considered at many levels of detail, ranging from atomic mechanism to general processes such as cell division, cell adhesion or cell invasion. The experimental study of protein function and gene regulation typically provides information at many levels. The representation of hierarchical process knowledge in biology is therefore a major challenge for bioin...
متن کاملModeling and Verification of Embedded Systems using Petri Net based Methods: Application to an Industrial Case
Embedded systems are becoming increasingly common in objects that we use in our everyday life. Embedded systems are typically characterized by their dedicated function and real-time behavior. Many of them must fulfill strict requirements in terms of reliability and correctness. Designing systems with such features, combined with high levels of complexity and tight time-to-market constraints, is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cybernetics and Information Technologies
سال: 2016
ISSN: 1314-4081
DOI: 10.1515/cait-2016-0038